For 6.c see Tutorial 2021-03-25 (for as 6) question 4